Functional languages - PDFSEARCH.IO - Document Search Engine

Functional languages
Results: 3400

#	Item
401	A Simulation of Niche Construction Kevin B. Korb and Alan Dorin Technical ReportBayesian Intelligence Abstract We report on a simple, generic simulation of niches and their propagation Add to Reading List Source URL: bayesian-intelligence.com Language: English - Date: 2009-10-12 21:01:59 Programming language theory Software engineering Ecology Computer programming Landscape ecology Functional languages Market segmentation Ecological niche Habitat Lisp Niche
402	PathCutter: Severing the Self-Propagation Path of XSS JavaScript Worms in Social Web Networks Yinzhi Cao§ , Vinod Yegneswaran† , Phillip Porras† , and Yan Chen§ , {vinod, porras}@csl Add to Reading List Source URL: www.cs.northwestern.edu Language: English - Date: 2011-11-29 13:06:25 Computing Computer security World Wide Web Hacking Computer worms Functional languages Web programming Cross-site scripting XSS worm Hypertext Transfer Protocol Cross-site request forgery JavaScript
403	GADTs and exhaustiveness: looking for the impossible Jacques Garrigue Nagoya University Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2015-09-10 01:45:47 Software engineering Computer programming Computing Functional languages Data types Procedural programming languages Functional programming Type theory Generalized algebraic data type OCaml ML Caml
404	BRICS RS-05-3 Danvy & Goldberg: There and Back Again BRICS Basic Research in Computer Science Add to Reading List Source URL: brics.dk Language: English - Date: 2005-03-21 05:10:41 Software engineering Computer programming Declarative programming Functional programming Functional languages Subroutines Recursion Procedural programming languages Standard ML Tail call ML Monad
405	Daniel Midwood I am a f u nc t io nal pro grammer, f o c u sed o n C l o ju re devel o pment , designing and impl ement ing A PI s, and sc al ing syst ems. I h ave f u rt h er experienc e in Sc al a and J avaSc ript and Add to Reading List Source URL: resume.danmidwood.com Language: English - Date: 2015-01-16 08:53:50 Functional languages Scripting languages Cross-platform software Object-oriented programming languages Concurrent programming languages Clojure Scala Java Functional programming
406	Declarative foreign function binding through generic programming Jeremy Yallop, David Sheets and Anil Madhavapeddy University of Cambridge Computer Laboratory Abstract. Foreign function interfaces are typically organise Add to Reading List Source URL: anil.recoil.org Language: English - Date: 2015-12-17 06:24:32 Software engineering Computer programming Computing C++ C Data types Object-oriented programming languages Functional languages Typedef OCaml Const Pointer
407	Simulation of Built-in PHP Features for Precise Static Code Analysis Johannes Dahse Thorsten Holz Add to Reading List Source URL: syssec.rub.de Language: English - Date: 2014-01-21 13:22:44 Software engineering Computing Computer programming Scripting languages Data types Cross-platform software Object-oriented programming languages Functional languages RIPS PHP Data-flow analysis Scope
408	Archibald Samuel Elliott Computer Science PhD Student: Programming Languages Research Interests I’m particularly interested in Type-directed Program Synthesis. Program Synthesis is a method by which we devise methods t Add to Reading List Source URL: lenary.co.uk Language: English - Date: 2016-03-31 14:23:30 Computing Software engineering Computer programming Concurrent programming languages Functional languages Cloud infrastructure NoSQL Procedural programming languages Erlang Basho Technologies Functional programming Concurrent computing
409	Pony for Fintech or How I Stopped Worrying and Learned to Love an Exotic Product Sylvan Clebsch QCon London 2016 Add to Reading List Source URL: qconlondon.com Language: English Functional languages Erlang OCaml Concurrent computing
410	Tracing ambiguity in GADT type inference Jacques Garrigue∗ Didier R´emy† Abstract Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2012-09-06 08:22:15 Type theory Data types Functional languages Type systems Object-oriented programming languages OCaml Type inference Generalized algebraic data type Unification ML HindleyMilner type system Type conversion

UPDATE